Verification of Embedded Real-Time Systems Using Hardware/Software Cosimulation
نویسنده
چکیده
This paper presents hardware/software co-simulation and discusses its suitability in the development of realtime systems. Due to the facts that time-to-market challenge has increased the need for shortening the development process, new techniques and methodologies are introduced. A fashionable technique is to use cosimulation environments in the verification phase of a design process. As this technique is being adopted, and the fact that companies from a wide industry area has become using it, real-time issues are becoming relevant. This paper will discuss the use of a co-simulation tool for verification of embedded real-time systems.
منابع مشابه
An Integrated Cosimulation Environment for Heterogeneous Systems Prototyping
In this paper, we present a hardware-software cosimulation environment for heterogeneous systems. To be an efficient and convenient verification environment for the rapid prototyping of heterogeneous systems consisting of hardware and software components, the environment supports i) modular cosimulation, ii) cosimulation acceleration, and iii) integrated user interface and internal representa...
متن کاملHardware-Software Timing Coverification of Distributed Embedded Systems
Most of current codesign tools or methodologies only support validation in the form of cosimulation and testing of design alternatives. The results of hardware-software codesign of a distributed system are often not verified, because they are not easily verifiable. In this paper, we propose a new formal coverification approach based on linear hybrid automata, and an algorithm for automatically ...
متن کاملAutomatic generation of interfaces for distributed C-VHDL cosimulation of embedded systems: an industrial experience
This paper presents a distributed hardware/software cosimulation environment for heterogeneous systems pro-totyping applied to an industrial application. The environment provides following features: distributed Hw/Sw cosimulation, automatic Hw/Sw interface generation, Hw elements can be described at different levels of abstraction and generic/specific Sw debuggers can be used. Starting from a b...
متن کاملCo-designfor Real-Time Embedded Control Systems
This paper proposes a new development method for highly reliable real-time embedded control systems using a CPU model-based hardware/software cosimulation. We take an approach that allows the full simulation of the virtual mechanical control system including CPU and object code level software. In this paper, Renesas SH-2A microcontroller model was developed on CoMET platform from VaST Systems T...
متن کاملEmbedded-software Development Is an Important Part of Most Soc Designs. Choosing the Right Method to Verify the Software Can Mean Your Project’s Success or Failure
An SOC (system on chip) includes many components, such as processors, timers, interrupt controllers, buses, memories, and embedded software. It is a complete system that designers a few years back would have assembled on a board but, thanks to advances in semiconductor technology, can now fit on a single chip. The traditional RTLto-layout design-and-verification flow proves inadequate for these...
متن کامل